منابع مشابه
Presenting Distributive Laws
Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational semantics and, more recently, also for enhancements of the bisimulation proof method. If T is a free monad, then such distributive laws correspond...
متن کاملPseudo-distributive laws
We address the question of how elegantly to combine a number of different structures, such as finite product structure, monoidal structure, and colimiting structure, on a category. Extending work of Marmolejo and Lack, we develop the definition of a pseudo-distributive law between pseudo-monads, and we show how the definition and the main theorems about it may be used to model several such stru...
متن کاملIterated distributive laws
We give a framework for combining n monads on the same category via distributive laws satisfying Yang-Baxter equations, extending the classical result of Barr and Wells which combines two monads via one distributive law. We show that this corresponds to iterating n-times the process of taking the 2-category of monads in a 2-category, extending the result of Street characterising distributive la...
متن کاملWeak distributive laws
Distributive laws between monads (triples) were defined by Jon Beck in the 1960s; see [1]. They were generalized to monads in 2-categories and noticed to be monads in a 2-category of monads; see [2]. Mixed distributive laws are comonads in the 2-category of monads [3]; if the comonad has a right adjoint monad, the mate of a mixed distributive law is an ordinary distributive law. Particular case...
متن کاملOperads, clones, and distributive laws
We show how non-symmetric operads (or multicategories), symmetric operads, and clones, arise from three suitable monads on Cat, each extending to a (pseudo-)monad on the bicategory of categories and profunctors. We also explain how other previous categorical analyses of operads (via Day’s tensor products, or via analytical functors) fit with the profunctor approach.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2018
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2018.11.014